More from this Author

Tools and Algorithms for the Construction and Analysis of Systems

by Holger Hermanns (Editor), Jens Palsberg (Editor)

Model Checking Software

by Klaus Havelund (Editor), Rupak Majumdar (Editor), Jens Palsberg (Editor)

Static Analysis

by Jens Palsberg (Editor), Zhendong Su (Editor)

Static Analysis

by International Static Analysis Symposium Staff, Jens Palsberg (Editor)

Verification, Model Checking, and Abstract Interpretation

by Isil Dillig (Editor), Jens Palsberg (Editor)

Semantics and Algebraic Specification

by Jens Palsberg (Editor)

Static Analysis

by Jens Palsberg (Editor), Zhendong Su (Editor)